home *** CD-ROM | disk | FTP | other *** search
/ Aminet 12 / Aminet 12 (1996)(GTI - Schatztruhe)[!][Jun 1996].iso / Aminet / dev / e / eiffel.lha / flc / docs / integer.doc < prev    next >
Encoding:
Text File  |  1996-01-25  |  432 b   |  16 lines
  1.  
  2. -- Integers
  3.  
  4. expanded class interface INTEGER
  5. exported features
  6.   -- All features from COMPARABLE and NUMERIC
  7.   infix "//" (other:INTEGER):INTEGER
  8.     -- Integer division of current integer by 'other'
  9.     require
  10.       no_null_divisor : other /= 0
  11.   infix "\" (other:INTEGER):INTEGER
  12.     -- Remainder of integer division of current integer by 'other'
  13.     require
  14.       no_null_divisor : other /= 0
  15. end interface -- class 'INTEGER'
  16.